A Framework for Translating a High Level Security Policy into Low Level Security Mechanisms
نویسندگان
چکیده
منابع مشابه
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security properties, stating for example that no pin verification must take place within a transaction. Behavioural interface specification languages, such as JML (Java Modeling Language), have been successfully used to valid...
متن کاملLow Cost Security Aware High Level Synthesis Methodology
Owing to massive complexity of modern digital integrated circuits (ICs) disabling complete inhouse development, globalization of the design process establishes itself as an inevitable solution for faster and efficient design. However, globalization incurs importing intellectual property (IP) cores from various third party (3P) vendors, rendering an IP susceptible to hardware threats. To provide...
متن کاملA High-Level Language for Homeland Security Response Plans
In this paper we discuss the applicability of the agent control language GoLog for the representation of plans to handle the response to homeland security incidents. Our goal is a representation for plans that is high-level and flexible. The specific actions executed when the plan is interpreted should be selected through logical inferencing to be the appropriate actions under current circumsta...
متن کاملDesign a High-Level Language for Large Network Security Management
A common breach of network security is the class of attacks called Worm-virus. This paper proposes a language called Triton whose goal is to efficiently and effectively safeguard large network security for management system. We represent abstract language that supports various functions. This high-level language abstracts the control behavior of the network nodes, which has various setting-up m...
متن کاملA Multi-Level Analysis Framework in Network Security Situation Awareness
Network Security Situation Awareness (NSSA) technology has been extensively studied in multi-data analyzing research these years. In this paper, we use a historical war story to explain the key points in situation awareness, present the conceptualizations and challenges aspects of NSSA, and discuss the methodologies of solving these problems. We provide an evaluation method for network security...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Electrical Engineering
سال: 2010
ISSN: 1335-3632
DOI: 10.2478/v10187-010-0003-x